Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
731	Specification of Web Services Sudhir Agarwal and Anupriya Ankolekar Institute of Applied Informatics and Formal Description Methods (AIFB), University of Karlsruhe (TH), Germany Transparency of business processes is cri Add to Reading List Source URL: www2006.org Language: English - Date: 2006-09-05 12:42:56 Process calculi Π-calculus Calculus Control theory Function Mathematics Theoretical computer science Applied mathematics
732	Avionics Safety-critical Avionics Software Development RTCA DO-178C Software Development Solutions E Add to Reading List Source URL: www.ensco.com Language: English - Date: 2014-10-06 14:50:34 Electronics Safety Embedded systems Software requirements Formal methods ENSCO Inc. DO-178C DO-254 Avionics software Avionics Technology Software development
733	Technology Project Planning and Management Dirk Slater Add to Reading List Source URL: taitech.theideabureau.netdna-cdn.com Language: English - Date: 2014-05-27 04:35:47 IBM Rational Unified Process Software Software development process Microsoft Solutions Framework Project management software Formal methods Project management Open-source software
734	-1- Pascal-F Verifier User’s Manual Version 2 Add to Reading List Source URL: www.animats.com Language: English - Date: 2009-05-29 19:02:14 Formal methods NP The Verifier Formal verification IP Assertion Theoretical computer science Applied mathematics Logic in computer science
735	Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMPDirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-14 11:39:08 Applied mathematics Formal verification Software verification Model checking Linear temporal logic Verilog Mathematics Formal methods Logic in computer science Theoretical computer science
736	Doron Drusinsky Doron Drusinsky Associate Professor Research Areas Add to Reading List Source URL: www.nps.edu Language: English - Date: 2013-06-21 18:22:02 Formal verification Temporal logic Verification Mathematics Formal methods Logic in computer science Model checking
737	Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:22 Formal methods Applied mathematics Process Planning Process state Formal verification Blocking Domain-specific language Formal specification Computing Concurrent computing Scheduling
738	Bound Propagation for Arithmetic Reasoning in Vampire Ioan Dragan∗ , Konstantin Korovin † , Laura Kov´acs ‡ , Andrei Voronkov † ∗ Vienna University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:44:35 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories Linear programming Local consistency Theoretical computer science Applied mathematics Mathematics
739	LNCS 5123 - <TEX>{CSIsat}</TEX>: Interpolation for LA+EUF Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Interpolation Satisfiability Modulo Theories Solver Linear programming Theoretical computer science Applied mathematics Mathematics
740	NetSource Partners s Building Mission Critical Systems in Internet Time Add to Reading List Source URL: www.nspartners.com Language: English - Date: 2011-05-27 16:54:30 Software project management Project management Software engineering Formal methods Software development process Iterative and incremental development Product lifecycle management Unified Process Software development Technology Business

UPDATE